Borel Open Covering of Hilbert Schemes
نویسنده
چکیده
Let p(t) be an admissible Hilbert polynomial in P of degree d and Gotzmann number r. It is well known that Hilb p(t) can be seen as a closed subscheme of the Grasmannian G(N, s), where N = ` n+r n ́ and s = N − p(r), hence, by Plücker embedding, it becomes a closed subset of a suitable projective space. Let us denote by B the finite set of the Borel fixed ideals in k[X0, . . . ,Xn] generated by s monomials of degree r. We associate to every monomial ideal J ∈ B, a Plücker coordinate pJ . If UJ is the open subset of G(N, s) given by pJ 6= 0, which is isomorphic to the affine space As(N−s), then HJ = Hilb n p(t) ∩ UJ is an open subset of Hilb n p(t) and then can be seen as an affine subvariety of As(N−s). The main results obtained in this paper are the following: i) HJ 6= ∅ ⇔ Proj (k[X0, . . . ,Xn]/J) ∈ Hilb n p(t); ii) if non-empty, HJ parametrizes all the homogeneous ideals I such that the set NJ of the monomials not belonging to J is a basis of k[X0, . . . ,Xn]/I as a k-vector space; iii) the ideal defining HJ as a subvariety of A s(N−s) (i.e. in “local” Plücker coordinates) is generated in degree ≤ d+ 2; iv) HJ can be isomorphically projected into a linear subspace of A s(N−s) of dimension ≤ σ(N−s), where σ is the number of minimal generators of the saturation J of J ; v) up to changes of coordinates in P, the open sets HJ cover Hilb n p(t), namely: Hilb p(t) = G g∈GL(n+1) J∈B g(HJ ).
منابع مشابه
Strongly stable ideals and Hilbert polynomials
Strongly stable ideals are a key tool in commutative algebra and algebraic geometry. These ideals have nice combinatorial properties that makes them well suited for both theoretical and computational applications. In the case of polynomial rings with coefficients in a field with characteristic zero, the notion of strongly stable ideals coincides with the notion of Borel-fixed ideals. Ideals of ...
متن کاملA Borel open cover of the Hilbert scheme
Let p(t) be an admissible Hilbert polynomial in P of degree d. The Hilbert scheme Hilbnp(t) can be realized as a closed subscheme of a suitable Grassmannian G, hence it could be globally defined by homogeneous equations in the Plücker coordinates of G and covered by open subsets given by the non-vanishing of a Plücker coordinate, each embedded as a closed subscheme of the affine space A, D = di...
متن کاملComputable Hilbert Schemes
In this PhD thesis we propose an algorithmic approach to the study of the Hilbert scheme. Developing algorithmic methods, we also obtain general results about Hilbert schemes. In Chapter 1 we discuss the equations defining the Hilbert scheme as subscheme of a suitable Grassmannian and in Chapter 5 we determine a new set of equations of degree lower than the degree of equations known so far. In ...
متن کاملSegments and Hilbert schemes of points
Using results obtained from a study of homogeneous ideals sharing the same initial ideal with respect to some term order, we prove the singularity of the point corresponding to a segment ideal with respect to a degreverse term order (as, for example, the degrevlex order) in the Hilbert scheme of points in Pn. In this context, we look into the properties of several types of ‘‘segment’’ ideals th...
متن کاملCompact Covering Mappings between Borel Sets and the Size of Constructible Reals
We prove that the topological statement: “Any compact covering mapping between two Borel sets is inductively perfect” is equivalent to the set-theoretical statement: “ ∀α ∈ ωω , א 1 < א1”. The starting point of this work is the following topological problem: Problem. Is any compact covering mapping between two Borel spaces inductively perfect? We recall that if f : X → Y is a continuous and ont...
متن کامل